Поиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Скачкова А. С. , Бабанов А. М. «Методика доказательства теорем для формальнойсистемы ERM-модели» // Вестник ТГУ. УВТиИ. 2010. №2(11) C.113-123